In this thesis we also defined the concept of well - formedness as a semantic correctness criteria for conversation policy 本文提供cpdl到cpel的翻譯算法,并研究cpdl良構(gòu)性定義和驗(yàn)證方法。
According to the characteristics of workflow process execution , a kind of reactive activity - centered process meta - model is defined and a kind of graphical notation is provided for it , at the same time , for this meta - model , a kind of dynamic semantics is specified , which represents the runtime behavior of the process and can be expressed as a finite state automata . finally , an example is given to illustrate how to apply it to analyze the semantic correctness of process models 根據(jù)過程執(zhí)行的特點(diǎn),定義了一種以活動(dòng)為中心的反應(yīng)式過程元模型,并為其提供了一種圖形表示,同時(shí)為此元模型指定了一種體現(xiàn)過程運(yùn)行時(shí)行為的動(dòng)態(tài)語義,該語義可表示為一個(gè)有限狀態(tài)自動(dòng)機(jī).最后舉例說明了如何應(yīng)用它分析過程模型的語義正確性